github-merge-pr: Prevent multiple Link: https://github.com/$REPO/pull/$PRID
-rw-r--r-- 7 .gitignore
-rw-r--r-- 108 README
-rwxr-xr-x 4647 check-abi-version.pl
-rwxr-xr-x 4647 check-abi-versions.pl
-rwxr-xr-x 1507 count-contributions.sh
-rwxr-xr-x 3429 github-apply.sh
-rwxr-xr-x 7911 github-merge-pr.sh
-rwxr-xr-x 24112 make-changelog.pl
-rwxr-xr-x 6040 make-signatures.pl
-rwxr-xr-x 3950 makebranch.sh
-rwxr-xr-x 4742 maketag.sh
-rwxr-xr-x 3990 patchwork-apply.sh
-rwxr-xr-x 891 sob2from.sh
-rwxr-xr-x 5552 update_git_source_package.sh
-rwxr-xr-x 4205 update_kernel.sh